Nuprl Lemma : not_assert_elim 13,42

b:. ((b))  (b = ff) 
latex


Upbool 1, bool 1
Definitionst  T, P  Q, x:AB(x), Unit, , False, A, , tt, , ff
Lemmasbool wf, assert wf, not wf, assert of tt, bfalse wf

origin